-
1 язык типа исчисления
Information technology: calculus-type languageУниверсальный русско-английский словарь > язык типа исчисления
-
2 язык типа исчисления
Русско-английский словарь по вычислительной технике и программированию > язык типа исчисления
-
3 язык типа исчисления
Русско-английский большой базовый словарь > язык типа исчисления
-
4 язык реляционного типа
1. relational-type language2. relational languageРусско-английский большой базовый словарь > язык реляционного типа
-
5 язык логического типа
Русско-английский большой базовый словарь > язык логического типа
-
6 язык без контроля типов
Русско-английский словарь по информационным технологиям > язык без контроля типов
См. также в других словарях:
ЯЗЫК — знаковая система, используемая для целей коммуникации и познания. Системность Я. выражается в наличии в каждом Я., помимо словаря, также с и н таксиса и семантики. Синтаксис определяет правила образования выражений Я. и их преобразования,… … Философская энциклопедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т … Философская энциклопедия
Go (язык программирования) — О языке программирования, появившемся в 2003 году, см.: Go! (язык программирования) Go Класс языка: компилируемый, многопоточный, императивный, структурированный Появился в: 2009 г … Википедия
Грузинский язык — представляет многократно скрещенную классовую речь. С XII века он непрерывно демократизуется. Это объясняется рядом экономических и социальных сдвигов внутри страны, а также вторжениями великодержавных завоевателей византийцев, турок и монголов.… … Литературная энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… … Медицинская энциклопедия
Франция — (France) Французская Республика (République Française). I. Общие сведения Ф. государство в Западной Европе. На С. территория Ф. омывается Северным морем, проливами Па де Кале и Ла Манш, на З. Бискайским заливом… … Большая советская энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия